Publications de
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Formalizing action and change in modal logic I: the frame problem
Dans : Journal of Logic and Computation, Vol. 9 N. 5, p. 701-735, 1999.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules
Dans : Fundamenta Informaticae, Vol. 32 N. 3/4, p. 281-297, 1997.
Accès : http://www.irit.fr/~Andreas.Herzig/P/fi98.pdf
BibTeX
Marcos Alexandre Castilho, Andreas Herzig, Ivan José Varzinczak
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
Dans : Proc. Nineth International Workshop on Non-Monotonic Reasoning (NMR’2002), Toulouse, 19/04/02-21/04/02.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Nmr02.html
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Marcos Alexandre Castilho
Reasoning about actions in modal logic
Dans : Working Notes of the Symposium on Reasoning about Actions: Foundations and Applications at ESSLLI’98, Saarbrücken, Germany, .
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules (position paper)
Dans : Tableaux’98, Netherlands, .
Marcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Solving the frame and ramification problem with modal logic plus dependence
Dans : International Joint Conference on Artificial Intelligence (IJCAI’97), Nagoya, Japan, 01/01/97.
Accès : http://www.irit.fr/~Andreas.Herzig/P/jlc99.html
BibTeXMarcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
A customized tableau method for reasoning about actions and plans in modal logic
Dans : Working notes of the Symposium on Logical Approaches to Agent Modeling and Desing – ESSLLI’97, Aix-en-Provence, France, 01/01/97.
Accès : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeXMarcos Alexandre Castilho, Olivier Gasquet, Andreas Herzig
Modal tableaux for reasoning about actions and plans (regular paper)
Dans : European Conference on Planning (ECP ), –, Springer, p. 104-116, janvier 1997.
Accès : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeX
Modèles logiques pour le raisonnement sur les actions
Thèse de doctorat, Université Paul Sabatier, octobre 1998.
Accès : http://www.irit.fr/ACTIVITES/EQ_ALG/Castilho/Ca-PhD.ps.gz
BibTeX